61. Distributed and parallel embedded systems :
پدیدآورنده : edited by Franz J. Rammig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses.,Embedded computer systems, Congresses.,Parallel processing (Electronic computers), Congresses.,Parallélisme (Informatique)-- Congrès.,Systèmes enfouis (Informatique)-- Congrès.,Traitement réparti-- Congrès.,Electronic data processing-- Distributed processing.,Embedded computer systems.,Parallel processing (Electronic computers)
رده :
QA76
.
9
.
D5
I3477
1998
62. Embedded real- time systems
پدیدآورنده : Calvez, Jean Paul.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers- Programming,، Real- time data processing,، Embedded computer systems- Programming
63. Embedded real-time systems
پدیدآورنده : Calvez, Jean Paul.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming , Real-time data processing , Embedded computer systems - Programming
رده :
QA
76
.
6
.
C338313
1993
64. Embedded systems /
پدیدآورنده : D P Kothari, Shriram K Vasudevan, Sundaram R M D, and Murali N.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Embedded computer systems.,Operating systems (Computers),Systems engineering.,Embedded computer systems.,Operating systems (Computers),Systems engineering.
رده :
TK7895
.
E42
65. Flow design for embedded systems : a radical new unified object-oriented methodology
پدیدآورنده : Kauler, Barry, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction ، Embedded computer systems,، Object-oriented programming )Computer science(
رده :
TK
7895
.
E42K28
1999
66. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
67. Global specification and validation of embedded systems :
پدیدآورنده : by G. Nicolescu and A.A. Jerraya [eds.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programs-- Validation.,Embedded computer systems.,Heterogeneous computing.,Computer programs-- Validation.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Embedded computer systems.,Heterogeneous computing.,Ingénierie.
رده :
TK7895
.
E42
G56
2007eb
69. Hardware/Software Co-Design
پدیدآورنده : edited by Giovanni Micheli, Mariagiovanna Sami.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer science.,Computer-aided design.,Software engineering.
70. Hardware-Software Co-Design of Embedded Systems
پدیدآورنده : by Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki, Bassam Tabbara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
71. Integrated circuit and system design :
پدیدآورنده : Jorge Juan Chico, Enrico Macii, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses.,Integrated circuits -- Very large scale integration -- Computer-aided design.
72. Integrated system-level modeling of network-on-chip enabled multi-processor platforms /
پدیدآورنده : Tim Kogel, Rainer Leupers, Heinrich Meyr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Embedded computer systems.,Multiprocessors.,Systems on a chip.,Embedded computer systems.,Embedded computer systems.,Ingénierie.,Multiprocessors.,Multiprocessors.,Systems on a chip.,Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
K64
2006eb
73. Languages, design methods, and tools for electronic system design :
پدیدآورنده : Daniel Große, Sara Vinco, Hiren Patel, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided design, Congresses.,Electronic circuit design-- Data processing, Congresses.,Computer-aided design.,Electronic circuit design-- Data processing.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK7867
74. Memory Issues in Embedded Systems-on-Chip
پدیدآورنده : by Preeti Ranjan Panda, Nikil Dutt, Alexandru Nicolau.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer science.,Computer-aided design.,Engineering.,Systems engineering.
75. Model-based engineering of embedded systems
پدیدآورنده : Klaus Pohl ... [et al.], editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Embedded computer systems-- Design-- Methodology
رده :
TK7895
.
E42
M63
2012eb
76. Model-based engineering of embedded systems
پدیدآورنده : / Klaus Pohl ... [et al.], editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Embedded computer systems--Design--Methodology
رده :
TK7895
.
E42M63
2012
77. Models in System Design
پدیدآورنده : edited by Jean-Michel Bergé, Oz Levia, Jacques Rouillard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Software engineering.,Systems engineering.
78. Models, methods, and tools for complex chip design :selected contributions from FDL 2012
پدیدآورنده : Jan Haase, editor
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Embedded computer systems - Design and construction,Congresses ، Integrated circuits - Design and construction,، Engineering,، Circuits and Systems,، Processor Architectures,، Electronics and Microelectronics, Instrumentation
رده :
TK7895
.
E42
79. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده : Francesca Tarocco.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
80. Multicore systems-on-chip :
پدیدآورنده : Abderazek Ben Abadallah
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Embedded computer systems,Networks on a chip,Systems on a chip-- Design and construction,Ubiquitous computing
رده :
TK7895
.
E42
A23
2010
